Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics
نویسندگان
چکیده
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but they require an appropriate fuzzy language to be agreed and an important number of available resources to be adapted. An alternative is to use classical ontologies to represent fuzzy ontologies. To date, all of the work in this direction has restricted to the Zadeh family of fuzzy operators. In this paper, we generalize existing proposals and propose a reasoning preserving procedure to obtain a crisp representation for a fuzzy extension of the logic ALCHOI under Lukasiewicz semantics. This reduction makes possible to reuse a crisp representation language as well as currently available reasoners under crisp semantics.
منابع مشابه
Tractability of the Crisp Representations of Tractable Fuzzy Description Logics
An important line of research within the field of fuzzy DLs is the computation of an equivalent crisp representation of a fuzzy ontology. In this short paper, we discuss the relation between tractable fuzzy DLs and tractable crisp representations. This relation heavily depends on the family of fuzzy operators considered. Introduction. Despite the undisputed success of ontologies, classical onto...
متن کاملFuzzy description logics under Gödel semantics
Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the Gödel family of fuzzy o...
متن کاملGödel Negation Makes Unwitnessed Consistency Crisp
Ontology consistency has been shown to be undecidable for a wide variety of fairly inexpressive fuzzy Description Logics (DLs). In particular, for any t-norm “starting with” the Lukasiewicz t-norm, consistency of crisp ontologies (w.r.t. witnessed models) is undecidable in any fuzzy DL with conjunction, existential restrictions, and (residual) negation. In this paper we show that for any t-norm...
متن کاملOn the Failure of the Finite Model Property in some Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by vagueness. Although most of the not very expressive crisp DLs, such as ALC, enjoy the Finite Model Property (FMP), this is not the case once we move into the fuzzy case. In this paper we show that if we allow arbitrary knowledge bases, then the fuzzy ...
متن کاملA Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions
Fuzzy Description Logics are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by uncertainty and vagueness. They were born to overcome the limitations of classical Description Logics when dealing with such kind of knowledge, but they bring out some new challenges, requiring an appropriate fuzzy language to be agreed and needing practi...
متن کامل